../../hde/hde32.h